Interactive Modeling of Computer Systems
نویسنده
چکیده
paper provides a nontechnicul introduction to queuing network concepts, a short introduction to results of research into analytical modeling methodology, and u set of simple but typical examples that illustrute the upplication of that methodology to problems of computer perfbrmunce. The objectives of this paper are to introduce concepts of the theory of queuing networks, to describe an APL program-called QNET4-for the solution of queuing network problems, and to give examples of the analysis of computer systems using the methods of QNET~. In the process of constructing models, we wish to clearly distinguish between modeling and methods of solution. Modeling is the process of mapping a real system into a suitable abstract representation, such as an equation or a queuing diagram. It is the modeler who decides those aspects of a system that are sufficiently important to be represented. Modeling, especially on a high level of abstraction, is a difficult endeavor. Much remains to be done to establish a proven modeling methodology. Methods of solutions are necessary to provide numerical results. A method of solution is usually capable of solving a certain class of models. (Such a class of models is sometimes called an abstract model.) The abstract model of this paper is the network of queues. Algebraic and simulation methods are two important methods of solution of such models. The APL program discussed in this paper, which we call Q N E T ~ , is an implementation of the algebraic method of solution. Note that we view simulation as a method of solution, not as a model class that is distinct from the class of algebraic (or analytic) models. Queues and queuing networks The term queue denotes an individual resource of the queuing network. Several queues are connected into a queuing network by " routing, " which is described later in this paper. A queue consists of the following three elements: a waiting room, a set of servers or processors, and a queue discipline, i.e., a rule for determining the scheduling of service to jobs.
منابع مشابه
THE DESIGN, MODELING AND EVALUATION OF POTENTIAL HIV PROTEASE INHIBITORS USING BLITZ, AN INTERACTIVE COMPUTER GRAPHICS WORKING TOOL
Several nonpeptide small molecules were designed as potential inhibitors of HIV protease and their structures were constructed by computer-aided molecular modeling and docked iwo the active site of HIV protease. Models of the complexes of inhibitors and the HIV protease were refined using nonbonded and H-bonding terms. The refined energy of selected complexes showed that the designed inhib...
متن کاملSolving fuzzy stochastic multi-objective programming problems based on a fuzzy inequality
Probabilistic or stochastic programming is a framework for modeling optimization problems that involve uncertainty.In this paper, we focus on multi-objective linear programmingproblems in which the coefficients of constraints and the righthand side vector are fuzzy random variables. There are several methodsin the literature that convert this problem to a stochastic or<b...
متن کاملA Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملModeling of Continuous Systems Using Modified Petri Nets
Due to the changes which may occur in their parameters, systems are usually demonstrated by some subsystems for different conditions. This paper employs Modified Petri Nets (MPN) to model theses subsystems and makes it simple to analyze them. In this method, first, the continuous transfer function is converted to a discrete transfer function and then, by MPN, system is modeled and analyzed. All...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- IBM Systems Journal
دوره 15 شماره
صفحات -
تاریخ انتشار 1976